منابع مشابه
Generalized Motion and Edge Adaptive Interpolation De-interlacing Algorithm
This paper presents a generalized motion and edge adaptive de-interlacing framework, which offers a structured way to develop de-interlacing algorithm. The framework encompasses many typical de-interlacing algorithms, ranging from simple interpolation based algorithms, to more complex edge dependent and motion adaptive algorithms. Based on this framework, we develop a new de-interlacing algorit...
متن کاملGeneralized Recursive Multivariate Interpolation
A generalized recursive interpolation technique for a set of linear functionals over a set of general univariate basis functions has been previously developed. This paper extends these results to restricted multivariate interpolation over a set of general multivariate basis functions. When the data array is a suitable configuration (e.g., an ^-dimensional simplex), minimal degree multivariate i...
متن کاملGeneralized interpolation in CASL
In this paper we consider the partial many-sorted first-order logic and its extension to the subsorted partial many-sorted first-order logic that underly the Casl specification formalism. First we present counterexamples showing that the generalization of the Craig Interpolation Property does not hold for these logics in general (i.e., with respect to arbitrary signature morphisms). Then we for...
متن کاملGeneralized Interpolation Theorems
(Note that the Craig interpolation theorem is the special case of Chang's theorem in which Q19,.., Qn are all universal quantifiers.) Chang also raised the question [2, Remark (k)] as to whether the Lopez-Escobar interpolation theorem [6] for the infinitary language L.1. possesses a similar generalization. In this paper, we show that the answer to Chang's question is affirmative and, moreover, ...
متن کاملA Smooth Multivariate Interpolation Algorithm
This brief paper introduces an algorithm for smooth interpolation of a multivariate function. The input data for the algorithm consists of a set of function values and derivatives up to order r on a finite set of points E. The algorithm utilizes the Voronoi diagram of E to construct a partition of unity that isolates the points of E. Averaging locally defined functions with the partition of uni...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematics of Computation
سال: 1971
ISSN: 0025-5718
DOI: 10.2307/2005216